University of Utah

Results: 3552



#Item
31State Exploration Choices in a Small-Step Abstract Interpreter Steven Lyde Matthew Might University of Utah

State Exploration Choices in a Small-Step Abstract Interpreter Steven Lyde Matthew Might University of Utah

Add to Reading List

Source URL: andykeep.com

Language: English - Date: 2015-09-01 05:05:15
    32Numbers in Other Bases Modified version of problem provided by Mike Pinter, Belmont University Part 1 Consider numbers written in base b, where 2 ≤ b ≤ 9. Clearly indicate how you can tell quickly whether a number in

    Numbers in Other Bases Modified version of problem provided by Mike Pinter, Belmont University Part 1 Consider numbers written in base b, where 2 ≤ b ≤ 9. Clearly indicate how you can tell quickly whether a number in

    Add to Reading List

    Source URL: www.math.utah.edu

    - Date: 2009-11-21 13:51:04
      33Atmospheric Sciences Graduate Student Guide Department of Atmospheric Sciences College of Mines and Earth Sciences University of Utah Approved January 8, 2016

      Atmospheric Sciences Graduate Student Guide Department of Atmospheric Sciences College of Mines and Earth Sciences University of Utah Approved January 8, 2016

      Add to Reading List

      Source URL: www.atmos.utah.edu

      Language: English - Date: 2016-01-28 17:18:16
        34A Bibliography of Publications in ACM SIGAda Ada Letters Nelson H. F. Beebe University of Utah Department of Mathematics, 110 LCB 155 S 1400 E RM 233

        A Bibliography of Publications in ACM SIGAda Ada Letters Nelson H. F. Beebe University of Utah Department of Mathematics, 110 LCB 155 S 1400 E RM 233

        Add to Reading List

        Source URL: ftp.math.utah.edu

        Language: English - Date: 2018-03-22 11:54:41
          35Accelerating In-situ Feature Extraction of Large-Scale Combustion simulation with Subsampling Sidharth Kumar, Steve Petruzza, Duong Hoang, Valerio Pascucci Scientific Computing and Imaging Institute, University of Utah {

          Accelerating In-situ Feature Extraction of Large-Scale Combustion simulation with Subsampling Sidharth Kumar, Steve Petruzza, Duong Hoang, Valerio Pascucci Scientific Computing and Imaging Institute, University of Utah {

          Add to Reading List

          Source URL: www.hpdc.org

          Language: English - Date: 2017-07-18 15:38:18
            36Parabolic Subgroups and Induction in atlas Annegret Paul Western Michigan University Workshop on the Atlas of Lie Groups and Representations University of Utah, Salt Lake City

            Parabolic Subgroups and Induction in atlas Annegret Paul Western Michigan University Workshop on the Atlas of Lie Groups and Representations University of Utah, Salt Lake City

            Add to Reading List

            Source URL: www.liegroups.org

            Language: English - Date: 2017-07-12 12:39:35
              37North American Weather Consultants signed an exclusive licensing agreement with the University of Utah, Technology Commerciali

              North American Weather Consultants signed an exclusive licensing agreement with the University of Utah, Technology Commerciali

              Add to Reading List

              Source URL: www.nawcinc.com

              - Date: 2017-08-18 14:51:07
                381 Toward Parallel CFA with Datalog, MPI, and CUDA THOMAS GILRAY, University of Maryland SIDHARTH KUMAR, University of Utah We present our recent experience working to design parallel functional control-flow analysis (CF

                1 Toward Parallel CFA with Datalog, MPI, and CUDA THOMAS GILRAY, University of Maryland SIDHARTH KUMAR, University of Utah We present our recent experience working to design parallel functional control-flow analysis (CF

                Add to Reading List

                Source URL: scheme2017.namin.org

                Language: English - Date: 2018-04-03 07:53:01
                  39Automated Abstraction of Labeled Petri Nets Kevin Jones University of Utah Abstract- Due to the increasing use and complexity of embedded and cyber-physical systems, proper validation of the

                  Automated Abstraction of Labeled Petri Nets Kevin Jones University of Utah Abstract- Due to the increasing use and complexity of embedded and cyber-physical systems, proper validation of the

                  Add to Reading List

                  Source URL: www.async.ece.utah.edu

                  Language: English - Date: 2015-11-04 17:38:56
                    40university of utah diversity council student affairs

                    university of utah diversity council student affairs

                    Add to Reading List

                    Source URL: sadc.utah.edu

                    Language: English - Date: 2015-02-09 14:01:58